defined type

定義次のいずれかがdefined typeである:

type definition(型定義)によって宣言された型

例えばtype MyType int と書いたときのMyType は defined type

int , bool, string などの事前宣言された型

別の定義もしくは判定法

type literals(型リテラル)以外の全ての型はdefined typeである

[]int は型リテラルなのでdefined typeではない

他との関連性

assignability(代入可能性) の成立条件に使われている

method declarations(メソッド宣言) でreceiver base typeになれるための必要条件になっている

解説

defined typeは仕様書を読むときに非常によく出てくる概念なのに仕様書上ですっきりした完全な定義が書かれていない

https://golang.org/ref/spec#Type_definitions を読むとtype definition(型定義)を使って宣言した新しい型のみがdefined typeであるかのように読めるがこれだとintなどが含まれない

例題

なぜこんなふうになっているのか